“정리 증명법”으로 총 1건 검색

• 정리 증명법, 定理證明法, theorem proving

  어떤 공리계(公理系)와 관련 지어 어떤 논리식이 그 계의 정리인지 아닌지를 결정하는 방법. 인공 지능과 관련된 분야에서는 공리계로부터 유도된 정리를 하나하나 따져 봄으로써 정리 증명을 기계적으로 하는 기계적 정리 증명법을 의미한다.